Search Results

[POPL 2021] A Separation Logic for Effect Handlers (full)

[POPL 2021] A Separation Logic for Effect Handlers (full)

[POPL 2021] Asynchronous Effects (full)

[POPL 2021] Asynchronous Effects (full)

[POPL 2021] On Algebraic Abstractions for Concurrent Separation Logics (full)

[POPL 2021] On Algebraic Abstractions for Concurrent Separation Logics (full)

[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany

[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany

6.826 Fall 2020 Lecture 9: Separation logic

6.826 Fall 2020 Lecture 9: Separation logic

[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement Types

[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement Types

[POPL 2021] Dijkstra Monads Forever (full)

[POPL 2021] Dijkstra Monads Forever (full)

[POPL 2021] Mechanized Logical Relations for Termination-Insensitive Noninterference (full)

[POPL 2021] Mechanized Logical Relations for Termination-Insensitive Noninterference (full)

Separation Logic for Sequential Programs (Functional Pearl) (ICFP 2020)

Separation Logic for Sequential Programs (Functional Pearl) (ICFP 2020)

[POPL'22] A Relational Theory of Effects and Coeffects

[POPL'22] A Relational Theory of Effects and Coeffects

Effect Handlers, Evidently (ICFP 2020)

Effect Handlers, Evidently (ICFP 2020)

Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C

Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C